perm filename CMR10.GF[MF,ALS] blob sn#797279 filedate 1985-07-01 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εbp→
G#⊂→ε$  HdR ∩∧5HαV UHαVu@βVu8∧Ua∃8∧UA50↓@@e0↓@@e0↓@@e(↓Ae(↓Ae(↓Ae ↓A@e ↓A@e ↓A@e_↓Be_↓Be_↓Be⊂↓B@e⊂	TB5λ
T 0`β∀ 0`β∀0pβ∀0pβ∀0pβ∪`@xβ∪@`pβ∩AP0λ∩AP0λ∩AP0λ⊃(D⊂⊂λD2_¬i!H%εip0¬↓ip0¬Aip0ε↓ip0ε↓ip0εAip0εAip0εAip0εAip0εAip0ε↓ip0ε↓ip0¬Aip0¬↓iq('E)p0¬AIp0ε↓Ip0εAIp0εAip0π↓Ip0π↓ip0π↓ip0π↓ip0π↓ip0π↓ip0π↓ip0εAip0εAip0ε↓ip0¬Ai!`%εI!@"Qλ1x⊃	$@h∧α ∃(ε↓`∃_λ↓%λ∧↓`@_↓∀pX↓@ 4xββ@dpβ∧Thβ∧ Thβ∧@D`β∧`D`β∧`DXβE4Xβ¬ 4Xβ¬ 4PβR@tPβR@tPβR@tPβR@tPβR@tXβ∩`q ↓R`q ↓Sa ↓Sq_↓S a⊂↓S qλ↓S@q↓∪`pp↓T↓X↓T!⊂8α∀b∃(εUa∀("⊃∧2(⊃H`↓8%εI!`'AA⊂H'AA0@'AAP8'AA`8'AAp0'AAp8'AB0'AB8'AB8'AB⊂0'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂8'AB⊂0'AB⊂0'AB⊂0'AB0'AB0'AAp0'AAp0'AA`0'AAP0'AA @%π	!P%¬hT "H∧"_⊃@βTP∞RCTxβα`txββ Txββ@Dxββ`4xββ`Dxββ`Dxβ∧4xβα0(↓S``@↓A 4xβα0(↓S``@↓S``8α∪``0αSb∀xλSb∀xβ↓@Txβ↓`Dxβα08↓S``@↓A`4xβα08↓S``@↓A@Dxβ∧ 4xβ∧ 4xβ∧ 4xβ∧Dxβ∧Dxββ`Txββ@dxββtP∂∩CdP∂⊃(D0∂λ∧2_π)!h%π)p0¬Aip0εA)p0π↓	p0π@ip0πA	p0πA	p0λip0∧`P_'AA_α@ip0∧`P_'AA_'A@p 'A@`('D)qλ'D)p0β↓)p0βA	p0∧ip0∧ip0∧ip0∧ip0'AIp0'AIp0'AIp0'AI!⊂%∧I!⊂"Qλr ∪I$@p∧α ∃0ε↓`∃ λ↓%⊂∧↓`@_↓∀ pX↓@ 5ββ@dxβ∧Tpβ∧ Thβ∧`Dhβ∧`D`β¬D`β¬ 4XβE 4Xβ¬@4Xβ∩@tPβR@tPβR@tPβR@tPβCα∀Xββα∀Xββα∀XβD@d`β∧@d`β∧@dhβ∧ dhβ∧ dpβ∧dxββ`eββ@eλβB`u⊂∧A@@λα∃α_↓UA@8V↓∧("∩∧2(⊃H`↓↓D	!↓D	!↓D	p0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIp0εAIqH'F)qH'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0%∧1%∧1%∧1"Q	⊃⊂	λd0	∩B$P	∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∩B$P	∩B$("∩Ba8∩λ`Qλ'D)qλ+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓I@_βAI0(β↓I 8αAI 8αAI 8αAI 8αA)0(αAI0 β↓)@(↓A)PX'AhT %I∧b_⊃@α0εRB0εRB0εS``hβS``hα∪```α∪```↓S``X↓S``P↓S``H↓S``@α∪``8α∪``0α∪``(α∪`` αS``_βS``⊂∧∪``λ¬∪a λβ∪a⊂⊂βSa βS`p0β∪``8βS``@βS``@βS``HβS``Pβ∪``PβS``XβS```β∪```βS``hβ∪``h∧∩B(πRB(πRB(πQ(D`∞πD2_∧I!⊂%∧Ip0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0πip0πip0πip0πip0πip0εA	p0εA	p0ε@ip0ε↓	p0¬A)p0¬↓Ip0∧α	!X%εi!X"Q	R`↔λd0ε∧aTPε∧aTPε∧aTx∧∧!∀x∧∧!∀x∧∧!∀x↓@ Px↓@ dx↓@ Px↓@ dx↓@ Px↓@ dx↓@@Ph↓@@dx↓@@Ph↓@@dx↓@@Ph↓@@dx↓@`PX↓@`dx↓@`PX↓@`dx↓APH↓Adx↓APH↓Adx↓APH↓Adx↓A P8↓A dx↓A P8↓A dx↓A P8↓A dx↓A@P(↓A@dx↓A@P(↓A@dx↓A@P(↓A@dx↓A`P_↓A`dx↓A`P_↓A`dx↓A`P_↓A`dx↓BPλ↓Bdx↓BPλ↓Bdx↓BPλ↓Bdx↓B pHβ∪`0HβB dx↓B pHβ∪@`@αB@dPεA P(λ∩AP(αA"∧PεA@00λ⊃(Dp⊃I$2_β↓ h%β↓ h%β!⊂h'B!00'B!P_'BA@_'@`⊂8¬@ip_Aa0_'@` 8¬ip_↓AA _'@`08∧@ip_α↓a_'@`P0∧ip_αA`p_'@``8βip_β↓``_'@`p8α@ip_∧↓@P_'@a8αip_∧A`0_'@a 0↓@ip_¬↓` _'@a08@ip_¬A`⊂_'@a@P'@aPH'@aPH'@a`@'@ap8'@ap8'@b0'@b0'↓Ap(%β!P %β!P %β!`_"Q	r⊂∩I$@h∧∃↓e_αA@UλαB@UαCTxαC@TpαDThβ∧dhαD@T`β∧@d`β∧@dXβD@tXβ¬dXβ¬dPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtXβ¬dXβD@tXβD@t`β∧@d`β∧@dhβ∧dhβ∧dpββ@dxαC@UαCUλαB@U_αA@U π∃a∧("∀βb⊃H`↓0%ε	!P'AA⊂8'AA00'AA@0'AA@0'AA@8'AA@8'AA@8'AA@8'AA@8'AA@8'AA@0'AA@0'AA@('AA0('AA⊂0'Diqλ'AIp0'AIp0'AIp0'AIp0'AIp0'AIp0'AI!%∧	!"Q
∩⊂∩KD@h∧∃↓e_αA@UλαB@UαCTxαC@Tpββ@dhβ∧dhβ∧d`β∧@d`β∧@dXβD@tXβ¬dXβ¬dPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtPβEtXβ¬dXβ¬dXβD@t`β∧@d`β∧@dhβ↓@@0β∪ ` βA dpβ`  ↓`dxα@@ 0↓@Uα@  8βT p8β∀``(αU↓`HUaλ↓B⊗↓A`&α↓ 6ε_!&λ¬_!&⊂∧_`f α⊃(E⊂∩	DB_¬	!8%ε)p0∧↓ip0¬↓Ip0¬AIp0¬AIp0¬Aip0¬Aip0¬Aip0¬Aip0¬Aip0¬AIp0¬AIp0¬A)p0¬↓)p0∧↓Iq⊂'D)p0βA)p0∧↓)p0∧↓Ip0∧A)p0∧AIp0∧AIp0∧AIp0∧Aip0∧Aip0∧Aip0∧Aip0∧Aip0∧BP_'AA 8α@i!αA`P_%∧`8↓@i!βBl@8"Q
18
	$@8βA`∀pε↓$hπ@@$`β↓A∧XαB@dXαB`TXαβ DPαC DPαC DPαC@4PαC@4Pββ 4Pβ∩`dX∧∩aD`π∪!tpπT↓e_ε∃a¬Pβ⊗`UXβ↔TP↓C`TP↓C`TP↓C`TP↓C`TPαβ@TPαβ@DPαCTPβα`TP↓ `0β∩@ ⊂λ∩@⊂(εTA∧("∃∧∩_⊃H`⊃x%Gi1x%A@p0β↓I0 ∧AA %@a 0∧@i  ¬↓A⊂_%↓↓ 0∧A	 _¬AA _%a00¬i _¬AA _%a00¬i _¬AA _,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0(¬J↓0(¬HT *HdR ⊃@α0εRB0εRB0εS``xβ∪`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓S`a↓TQ↓T`p↓T Pp↓T Pp↓∀@P`↓T`PP↓U`0α∃!e8¬⊗ d("∃DR0∩λ`↓∧β)!∧β)!∧β)p0λ↓Ip8λ↓
0λj0λj8π↓
⊂0πj⊂0πj 0εj 0εj 0εj00¬j00¬j08∧@j@0∧j@0∧j@8β↓
P0βjP0βjP8α↓
`0αj`0αj`8↓↓
p0↓jp0↓kH,α+H,Ak⊂8,Ak (-↓+ (-@hT +MεR ⊃@↓`_λ↓ATPπb0εRA`_λ↓ATxβα``pβ∪``XβC`5βα``p↓T`Xββ@5βα`ph↓T `Xββ5λβα```↓T `XβB`5⊂βα@pP↓T@`PβB@5⊂βα!⊂H↓T@p@∧BE_βα↓⊂@↓T``8↓@ p8↓T``8↓@@`0α∃`0↓@@`0↓U`(↓AP0↓U`(↓A` α∃ ` ↓A` ↓U `_↓A@P ↓U `_↓A@`⊂α∃@`⊂↓A@`⊂↓U@`λ↓BP⊂↓U@`λ↓B↓%8∧B↓∃8∧B↓∃8∧αA¬@βB@u@βB@u@ββeHαCUHαCUHαβ@EP↓C@4("⊗∧R0⊃H`⊃↓Ci1↓Ci1↓Cj⊂8∧Aj⊂8¬↓
 8∧↓
00∧j08β↓
@8α@jP0αjP8↓↓
`0↓j`X+B+8,↓k⊂0,Ak⊂@,BP,`⊂0+A⊂8+↓08+`P0*AP8*@`p0*a8)A↓⊂8)@a00)↓↓08(A↓P8'Aa@8%β@q%β@q%β@q"Q∩0∪Hd0λα!TPλα!TPλα!TxβC`eβC`EβC`5λβC EλβCE⊂βB`5_βB E_βB 5 βA`E βA`5(βA E0β@`E0β@`58β@ E8β@ 5@¬⊗!¬H∧⊗@ePβ⊗@ePβ⊗@ePβ⊗@ePβ⊗@ePβ⊗@ePβ∃"¬(λ∃"∧("⊗C⊃`⊃H`!8&¬iA8&↓a⊂0&↓! 8&↓↓ 8&a08%A↓ 8%A↓ 0%@a 8%@a 0%@a⊂8%@a8+↓jP8*AJ@8)Aj08)↓j 0(Aa_(↓a⊂_(↓a⊂_'Aa _'AA0_'↓a  '↓A0 &Aa0_&↓a0 &↓a0 %Aa0(%AA 8%ε	!@%ελT 0F#!0↓A∧pε∪ P(αS`0αS`8αS`8αS @@αV UHαU↓%∧ ThβA T`β↓`TXβαTPβBTPβα P⊂↓R@`Hα@@4Pβα P⊂↓R@`@β@4Xβ↓``⊂↓S`(@!$h¬a∧xβ↓@T("_C!X∩	P %α) H%α)P0'↓)`('↓)`('↓)`('↓)`('↓)`(↓Ai`(Bi`@αA)`0∧↓)`(¬↓)`(¬↓)`(¬A)`(¬A)`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬A)`(¬A)`(¬↓)`(¬↓)`0∧↓)` @`@0'↓ P'`P0"Q1 ¬B`8∧∪aDpα↓ Thα↓@d`αA@d`α↓`dXαBDXαR@dPβ∩@dPβ∩@dPβ∩@dXαR`d`αB@4`αB@4hαB4pβ↓ 5¬T@t("→β!`∩	α  +B*pH+B+ 0-A+0(-A+0(-A+0(-A+0(-A* 0↓A*PA)`0αα	P(∧↓I@(¬↓)@(¬↓)0(¬A)0(¬A) 0¬A) 0¬A) 0¬A) 0¬A) 0¬A) 0¬A) 0¬A)0(¬A)0(¬A)@(¬↓)@(∧AIP(βB	`(αβ)pP↓α*⊂0αα(T 2E"a0αtxε∪@P(α∪ P8α∪P@αR``Hα∩`PPα∩`PPαR@`PαR@`λπ∩@`λπ∩@dPβ∩@dXαR`T`α∪PX↓S @X↓S@@H↓S`P0↓T!5_βQ(F0	DdB ε↓*@@)↓ ((A 0(↓  0(↓00'A @ 'A)p('A)p('A)p('A) p%βI p'A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)0p%CI0p"Qq@HBq_α∀ p β∪a0λ↓ Dpα↓ PλαS @8α T`αA`Pλ↓SP8αR``8β∩``8β∩``8β∪P8αSP8αS @8α∪@@(α∪ADh@`t`↓∪$`↓∪4`λ∪"$p	∪αTXαβdPαβ`TPα∧DPα∧DPα∧DPα∧DXαβ@D`αβDhαA`dxπ∀A∧("~β1`∩	P %α) H%α)P0'↓)`('↓)`('↓)`('↓)`('↓)`(αA)`(↓B)`(↓@@('↓ ⊂λβA)`0∧↓)`0∧↓)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A)`(∧A) `↓C	 `↓C	 `↓CλT 4C!b_⊃A4hαSt`βSthαS@48β↓TP∧RA∀P∧S dpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαRATPεRAT("~ApX⊗Ha _)A* 8)↓j 8)A*@_#AA ('BIpP'BJ00*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(*↓*@(&`P(%A @(%↓`0 %↓` (%↓`⊂(%β	0H&↓HT 5F#" ∩↓ DP∧RA∀P∧S dpαS@TpαS@TpαS@TpαS@TpαS@P_¬S@P_¬S@P_¬S@P β∪@P α∪@P ↓S@P_α∪@P⊂α∪@Pλα∪A4pε∪ADpβ dpα@`Tpα@`dpαAdpαA TpαA dpαA@TpαA@dP¬A↓$P¬A↓$P¬A↓$("≠↓Pp∩	P %α) H%α)P0'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) h%β) h"Q
RH∃¬B` αA PHαRA⊂_∧A!∀P∧@@  α@`  αRA⊂λA`PλA`ThβB`@αS@`@βαTpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TpαB PHαS@PHαB TPεa0_ε∩A@_¬@aDPεa0_ε⊃(Fp
Gαa0α↓ P(%α 0H%α  ⊂α↓) H@ p(&Aa('↓A('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂('↓!⊂(%β0`%β0`%β0`"Q
q@EB`@∧∀↓Dpβ↓dhαBT`αB@T`αB@TXαCTXαCTPββdPββdPββdPββdPββdPββdPββdXαCTXαCT`αB@T`αB@ThαBTpβ↓eε∀A∧("≤β!X⊂¬@@(↓Ai HBi `αA) P∧↓)`(∧AI`(¬↓)`(¬↓I`(¬A)`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬AI`(¬A)`(¬↓I`(¬↓)`(¬↓)`0∧↓)`@αA)`(BI`(↓AI`('↓)`('↓)`('↓)`(%β) h%β(T 8F#2α` ↓T↓ λα∪@` βS `0β∪`@αS`@αR``HαR``HαR@`PαR@`PαR@`PαR@`PαR@`PαR@`PαR@`PαR`PPαR``HαSPHαS`@αS P8β∪@P(βSa λαT `_αV@UPαV@UPαV@UPαV@U0εUAU0εQ(G⊂	∧ba0α↓ 0 %α  0%α ⊂@%α`⊂0&A` 0'↓@ 0'↓@0 '↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) p%βI p"Q∞1	¬B`(β`∀hε∪00α∩`0@↓R`0@↓R@@@↓R@DPαRA∧X¬∪↓4h¬Sa%_β∃ U0α∩@0Hα∩@0Hα∩@@@↓R@@@↓R@P0↓R@ λ¬∩@⊂ β⊃(G λ∧$αβj_(j_(ip 'A	`('↓)P0&β) x%βi`('↓)`('↓)`('↓)`('↓)`('↓)`(αi`(αi`(αi`(αi`(αi`(αip αIp(↓j@)↓(T :FcA0↓PHαRA⊂(∧RA⊂(∧RA⊂(∧S `@β∪@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@PHαS@P@β∪@P@β∪@P8∧∪`P(↓!∃¬A∃⊂β↓↓∀("≥C⊃P¬@`↓BI `↓BI `↓BI`(∧↓)`0βA	p(β@ip(β@ip0αA
(α@j(α@j⊂(↓@j⊂(↓@j⊂(↓@j (@j (@j (@j08)Aj08*↓*@(*↓*P_"Q∞r_∩¬B`∧@a _¬∩A⊂_¬a$P∧@a _¬∪@P(αBTpαA P@α∪`P(αA`4xαA P8↓S`P(αA@EαA P(↓TP β↓ 5αA` α∀ P_β@`5λα@@0λα`5λα@@0λα@E⊂α@ 0λα@ 5⊂∧`@λ↓T`p_βT`p_βT``(β∃P(αUP(αU@8α∃ 08↓Q(G@
Fba0B`0X%B`0X%B`0X(↓ P0(A @ (A@0_)↓   )B*0@*↓jP(*AJP0*α
@H)A⊂()↓0()`@0(↓ P('↓@p(%α`@`%α`@`%α`@`"Q∂⊃H
λα`εa$Pεa$Pεa$pαBTpβ↓`DxαA`4xαA`4xβ↓ EαA 5αA 5λα@`5λα@`5λα@`5⊂α@ 5⊂α@ 5⊂α@ 5_βT`u_βUU αUU(↓U 5 ↓U4Xα↓ 4Pβ`4Pβ`4Pβ@4Pα@@DX∧∪ T("≡BA(¬@!⊂&∧I@ βAI@_∧↓I0 βAI0_βAI0_βA)0_β↓I0_αAJ 0)↓J⊂0(↓@P_(↓@P_'A@`_'↓@p_'↓!_&A@p &↓A_%AA⊂_%AA %∧i!_"Q↓`∂λd0
RC4P
S``Pβ∪```α∪```α∪``h↓S``hα∪``hα∪``p↓S``p↓S``p↓S``p↓S`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∩B$P	∩B$("$rH∩	α _-A+0(-↓k 8,B+⊂H,αk_↓↓Jp ↓↓jp_α↓J` α↓j`_αAjP β↓jP_βAj@ ∧↓j@_∧Aj0 ¬↓j0_¬Aj  ε↓j _εAj⊂ π↓j⊂_πAj λ↓j_λAip 	↓ip 	↓i` 
↓i` 
↓iP ↓iP ↓i@ ↓iB_%I)2(%I)"8"Q"⊂∩I$@h∧∃↓e_αA@UλαB@UαCTxαC@Tpββ@dhβ∧dhβ∧d`β∧@d`β∧@dXβD@tXβ¬dXβ¬dPβA00↓AtPβA00↓AtPβA↓@ βR@p ε↓tPβA↓@ βR@p ε↓tPβA↓@ βR@p ↓A@0 βR@p ↓A@0 βR@q βR`a β∩`a β∩`q⊂βSa⊂β∪a⊂β∪ aβ∪ aβ∪@`pβ∪`PpαTP`αT PPαT`P0αU↓e8∧⊃(@_⊂λDB π↓ ,↓
p0+AJp0+α
`@+α
PP*BJP_AJ@ Aj@_↓↓j@_↓AJ@_↓AJ0_α↓j0_αAJ0_αAJ  αAj _βAJ _βAJ⊂ βAj⊂_∧↓j⊂_∧AJ ∧Aj_¬↓j_¬AJ_¬AIp_ε↓ip_εAIp_εAI` εAiP0εAI `αCi `αCi `αChT απDα_⊃@#DX∞∩cDX∞∩cDX↓E@4X↓E@4X↓E@4X↓E@4X↓E@48↓↓ 0p↓S`0p↓S`0p↓SbDx
∪bDx
∪bDx↓C@4x↓C@4x↓C@48↓@1@↓R@1@↓R@1@↓R@1@↓R@1@↓RCdP∂∩CdP∂∩Cd("↓$2(⊃H`α_%λi"_'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0'AAP0%∧1%∧1%∧1"Qax⊃λd0∂∩CdP∂∩`pp∧∩`qλαSqλα∪ qλα∪@qα∪@qα∪`q↓Tpx↓T pp↓T pp↓T@u_βTa¬ βU u0β∃@U8↓U@E(αβ 5 αβ@5_αβ`5⊂α∧5⊂↓DEλ↓D Eα∧ Dxα∧ Dpα∧ Thα∧th
SβDX∞RCd("↓d"(∩	P(π↓)PH¬α)@X∧αi0hββ)0pαβI (αA @(αA)  βA  (βA	 _∧A  ∧@i _∧BA⊂_+B
p@,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓K0,↓J⊃ (E
⊃ "Q↓↓x⊃λd00
∀αE
∃`e8β∃`e(∧TAuβ!Dpβ``⊂β∪ ` β`d`β↓ ` β∪`(β↓dXβA ` βR``0β↓ dPβA@`(βR@p0β↓ tPβA@`(βR@p0β↓ tPβA@`(βR@p0β↓ tXβ↓@`(β∩`p(β↓t`β↓ ` β∪`(β↓dhβ↓`_β∪@`_β@eβ!E⊂πU!∃8β∃`e8β∀αE
∀αD("α$"(⊃H`q (E
⊃ ,↓K0,↓I 8βA@p8%α`0βα	@0β↓@`0&↓`P0αAiP0αA@P0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0&A@P0αAIP0αA@P0&A@P0αAI`0α↓@@0'↓@@0α↓I`0α↓@@0'A@00↓AIp0↓A@00(↓@ 0↓↓J⊂0A@⊂0)∧J@p+B0,↓K0(E
⊃ (EλT ¬λ$2 ∩β↓∃_πT@`(β∀`Hβ∪``Xβ∪@`hβ∪ phβS `xβ∪pxβSaλβ∩`qλβR`qλβR`qλβR`qλβR`qλβR`qλβR`qλβSaλβ∪pxβS `xβ∪ `xβ∪@PxαS@PxαS`PhαS`PhαT@hα∀ 0h↓R@0 αα`@ ↓R@0(↓B`0(↓R@0(↓B`0(↓∩`0(↓α` (↓R`0(↓B 0(↓Ra0H¬Ra0H¬Ra0H¬∪↓ H¬∪↓ H¬⊃(Cε∧2⊂∧↓Ip`'↓ @(&A `(&↓!(&↓!(&↓↓  %A! (%A! (%A! (%A! (%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%A! (%A! (%A! (&↓↓  &↓!(&↓!(&A `('↓ @('C
 0"Qε⊃⊂λD P↓∀@Eβ∩ADPε∩@P⊂αT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαT UλαRB$P	∩B$("BA8⊃λ@`0'αIPh&`P8%@a0%A↓0%↓@p0%↓`p0%↓`p0%↓`p0%A!0&a⊂0,↓K(+AJp(+↓J`(*A*P *↓
0 )↓
 _(@j_∧ip_∧@i`_¬iP_¬@iP⊂¬A	Aλ%DI!_%∧i!_"Qε10λd 8βSa4pεS P(αS 0@αS`0αSp(β∪p(β∪p(β∪ P0β∪@08β⊗U@αU`U8α∃@EλβT!¬8α⊗U@β⊗ eHβ⊗ uHβS0PβR`PHβR@p@βR@p@βR@p@β∩@`@βR`0Pβ∪@8β∪!tx¬T t("
β↓H⊃λB_,A⊂ ,↓*p0+AJ`8*B
@_A*@⊂↓↓*0⊂↓A* _↓A* ⊂α↓*⊂⊂αA*_αA)p_β↓)p⊂βA)`⊂∧↓)P_∧↓)P⊂∧A)@⊂¬↓)0_¬↓) _¬A)!@%ε	!@,↓+(,↓+(,↓+()Cj0x)ChT ~Eαr_⊃@⊂pS@@α∪α∧`πS↓d`εS↓4`∧S4`↓S4`↓S4`↓@@d`εSP(α∪0@α∪ HαVE@αVU@β⊗dXαα dPβαdPβαdPβαdPβαTPαB TPαα@DX↓B TXααD`α↓ Thε∪A∃αQ(C0ε∧2⊂¬A*0H(C
(α↓)p αAI` β↓IP(β↓IP βAI@(∧↓	@(%A)0(%A 00%↓@ H%↓@⊂X%α P(%αp(%↓a(%↓a⊂(%↓A (%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%A! 0%A! 0%A! 0&↓↓ (&↓↓ (&A↓(&A↓('↓`('C*X)↓hT ≠EC∩ ⊃@ 4Xα∩bTX
RbTX
∩bDPαβ 4Pαβ4P↓C4P↓C4P↓B`58↓U`50↓U 5(↓UE ↓T`E_α∀@U⊂αT@EλαT UλαT Uβ∀eβ∀eβ∀eβ∀eλα⊃(C@ε∧2⊂∧↓JP'C	`(αA	P ∧↓	P_∧A	@ ¬↓	@ ¬↓	@ ¬↓	@ ¬↓	@(∧A	@0βA	@@αA	PH↓↓	Pp'β	pX(β	pp'`0P&@`PP&a@%A↓⊂@%@a@0%↓↓P(%↓↓` %↓↓` %↓↓` %↓↓` %A↓P_%A↓@ &↓↓  &A `('βJP)↓HT ≤ECα_⊃αe¬∪aDpα↓@DhααD`αBD`αα@DXαB@DXαB@TPβα@TPβα@TPβα@dPβα@dPβα@dPβα@dPβα@dXαB tXαB t`αBt`αAa∧hαA  λβ∪A0λβ∪a⊂⊂β∀ `_αV@UPαV@DhααT`β↓`D`β↓`D`β↓@D`β↓ D`αAThε∪A∃αQ(B 
¬e"8∧@j0_)@j 0(αI`_↓`⊂ &@@@_↓@i@⊂α@`@_%@`P_αi0⊂β`0(%``_↓↓I _β` 0%``_↓↓I  α@` 0%↓P_↓A	 (αi00↓i0X%C	@h&C)`h(β
0H)@`⊂0)@`0 )@`@ %A@_α↓	 0↓@`P_%↓@0_α@i 0↓@`P_%↓@0_α@i (α`P⊂%@`P_α@I0_α@`@⊂&`@_αIP_↓@`0⊂'↓⊂_@ipP(AJ0_)@j0_"Q∧b_∩IDP`αU u ↓@`5_α`5_↓A 5_↓A 5⊂α↓ 5⊂α↓ 5⊂α↓ 5⊂α↓ %⊂α↓5⊂α@`%⊂α@@5⊂α@@%⊂α@ %⊂βAaU_αB↓U_αB↓U_αB`e_αC5⊂βB@5λ↓ PP↓T ⊂βα4x↓↓P@↓S@0 β↓@4h↓A@P0↓S@0β↓4XαA``_↓∩`P8β@4Pβα↓∀Pβα tPβα tPβB `P↓R``Pβα 4XβB↓8↓Sp(α p α∪!`_εSa 8¬∀ `Xβ⊃(Cx	¬$B αB	P`&↓P(%@a(%↓ p(%↓@`0%↓@`0%↓@`0%↓@`0%Ap(*AJ@0*↓*0 )A
  )j _(A
⊂_(@j⊂_(@j⊂_(@hp(β@j('Aip8'Aj((@hT ∨∧BR 
↓`5αS`txβS`uαT 48αA`5λ↓T 5λ↓T 5λ↓T 5↓T4xα∪`Dpα∪ T`αR`dXαA`DPβ↓@dPβ↓@dPβ↓@dPβ↓@dXαA`TXαB4`α↓@Dh¬S`t("∧↓Pp¬@@(%α) H%α)P0'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓) h%β) h"Qα⊂x¬Hα`PαSa$x¬∪a%_β∃U αUU αUU αUU αUU αUU αUU αUU αUU αUU αS0(αR`P αR@p_α∩@p⊂αR@pλαRADX∧Sd("ε#↓H∩	↓⊂8(Bj(α↓	p(β↓	p(β↓)`(βA)`(βAI`(βAI`(βAI`(βAI`(βA)`(β↓I`(β↓)`(αA) H↓AI H↓AI Hβ↓	`(βA	`(βA)`(∧↓)`(∧↓)`(∧A)`(∧A)`(∧A)`(∧AI`(∧AI`(∧AI`(∧AI`(∧AI`(∧AI`(∧AI`(↓@`0('↓  (AI`(↓↓ ⊂(%α   A) H↓B	 Hα↓(T 
λdA0↓!⊂@βS!P ¬S`(α@ @(α∪`0∧↓`D`β↓``@αS`8βαThααPPα⊗ PPαV PPαV"E T↓dhβA T`β↓`TXβαTPβα@DPβα dPβα `X↓R@`HβB@4PβA`0λαB4XβA@_β↓ 4`ε↓a4xβB`t("εdb8¬A8¬↓ip`βαi`(αA 0 αA	P(∧↓⊂ βA	@(¬↓a(%AA 8∧↓)0(ε↓!  %A!@(¬↓) 0ε↓! (%↓AA %↓AA %↓A@(%↓A@(%↓A@(%↓A@(%A!@(%A!@0%AA 8¬@i@(¬α↓ _&A! A!_'↓ P(↓A@P_'CpX)↓a08"QβA@Hβ1 ↓↔ 5h↓↔5`↓∀Aλ↓∀↓TpαA@Thααd`αα  λα∪@@↓@ DXαα  _α∩`@@↓↓DPαB  αR@P8↓↓ TPαA@0(αR@P0↓↓@TPαA 00αR@P(↓↓`TPαA @αR`@ ↓αDXα` Hα∪@λ↓BD`α  Hα∪ `@α∪@P0αSaTx↓!∧p↓∪ 4h↓∪4`↓⊃(Ah⊗D2_επ*ah+π+ _AA⊂0-@ 0¬A⊂_↓↓A@_,@` 0εk_↓AA@ ,`00ε@k_↓AAP_+@`@0ε@jp_α↓@p_↓@jp_α↓@p_↓@j`_αA@p_+`P0β@jP_β↓@` *@``0αA*QH*εJAP*`p0αA*0_∧↓@` α@j0_∧↓@p_α@j _∧A@p_α@j _∧A@p_α↓
 _∧A@p_αj⊂_¬↓A`_(@a 0πj⊂_¬↓AP (a00εA
_¬AA@('A↓00¬AI`0¬↓A⊂8%β 1P%β 1P%β 1P"Qβc~	$@h∧∃∧5_αAc¬λαBBuαB``Xβ∪`PhαC DpαC@Pp↓S `pαC@DhαC`Ppα∪`xαC`4`ββ`Px↓R`pxαB 0_↓R`aαB 0_↓R`aαB 0_↓R@qαB 4PβDP@α∩@qαA`TPβDα∀PβDα∀PβDα∀PβDP8αR@qαBDPβDPH↓A 4PβDPH↓A 4Xβ∧PH↓A 4XβC`PH↓ADXβC`Q↓S`xαD4`ββ`Q↓S `pαC`Dhββ@Pxα∪@`hαC@TxαC Phβ∀PXβαa¬λαBC¬_αAc∃ ∩∃a∧("πd"(∀IC@⊂2@Jp@α@j@p↓J0(βα
⊂ ε↓
 π↓	p πA)` π@@⊂ &A!`_A)P π@@0 &↓!`_↓A)@(π@@(%AAP⊂αAI0(π@`(%A!P⊂βA) 0ε`p0%↓A@⊂∧↓I 0¬@a0%↓A0⊂∧AI 0¬A 0%↓A ⊂¬↓I 0∧@A00%↓A_¬AI 0∧A@0%↓@p_ε↓I0(β@AP(%A `⊂π↓)00α@AP0&↓ @⊂π↓)@(↓@a`(&A0⊂πA	P(@a`('↓⊂⊂πA	p(πA
 π↓
⊂ ε↓
@β↓*⊂↓βIp_αB	p⊂'HT ⊂Aa2(∩@@4XαR@tPβR@tPβR@tPβR@tXαR`TXαR`TXαR`TXαR`TXαR`TXαS4`↓S4`↓S4`↓Q`P⊂↓R`TPβR@tPβR`T`↓Q(C`βBdQP↓i0(%↓i 8%↓i0(&hp(↓i@_&i@_&i@_%A)0(%A)0(%A)0(%A)0(%A)0(%A) 8%↓i 8%↓i 8%↓i 8%A)@_"Q∧2(∀DAλ↓B5X↓B5X↓B5Pα↓`EP↓B5P↓B5P↓B5Hα↓`EH↓B5H↓B5H↓B5@α↓`E@↓B5@↓B5@↓B58α↓`DP∩RDTP∩U@0@↓U@0@↓U@0@↓U@0@↓U @8α∃ 0@↓U 0@↓U 0@↓U 0@↓RDTP∩RDU_α↓`E_↓B5_↓B5_↓B5⊂α↓`E⊂↓B5⊂↓B5⊂↓B5λα↓`Eλ↓B5λ↓B5λ↓B5α↓`E↓B5↓B5↓B4("	$R@∃	`P(I`8iP_↓@b@ &↓@_λA)@_αA!`(%AP@∧↓i0 β`⊃⊂%↓ `_αα  %↓ `_πi (βaP %↓ `_ε↓	 (βa0 %↓ `_¬@i (βa  %↓ `_∧A	0 βa %AP_∧@i@_α@a &↓@⊂∧↓	P_↓@a_'↓a 'A! β↓+0 β↓k0_β`0_-↓P αK⊂ β`P_,@`` α@k β↓`_+A`(βj` βA `_+a(βjP ∧↓ `_*↓↓⊂(βj0 ¬↓ `_)@a0(βj  ¬A `_(A↓P βj⊂_π↓P_(↓↓p_α@ip λ↓@⊂'↓α _↓@i`_
↓ip⊂
A(T ∪B↓A∩@4XαR@tPβRA∧XβS0λ↓∀%↓∀$x↓∪`$p↓∪ 4h↓∩`4`Q(B@εD&B8¬j0_)j⊂_(↓	p 'A	` '↓	P &A	@(&↓	@ %A)0(%A)0 %A	 (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%A	0 %A)0(%A)@ &↓	@(&A	P '↓	` 'A	p (↓
⊂_)j0_*@HT ∀C"β ∪@$X↓S4h↓S Dpα∪@Dxα∪`Eα∀EαT Eλα∀ UλαT U⊂α∀@E⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@E⊂α∀ UλαT Uλα∀ EαTEα∪`Dxα∪@Dpα∪ Dh↓S4X↓R@4("
BA8	a⊂⊂)↓
  )↓
  %@@`⊂βI  α@@P %↓@0⊂↓AI00↓@ 0'↓⊂⊂A
@)↓
@'↓⊂⊂A	00↓@ 0%↓@0⊂↓AI  α@@P %@@`⊂βJ  )↓
  )↓
0⊂"Q¬2⊂∩HCa↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@4P⊃∩D$P⊃⊗@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓V@5P↓Q(B`∧βα0↓i0(%↓i 8%α	08&`⊂⊂(J⊂(Ip⊂'@I`⊂&@iP⊂%@i@λ"Q¬`8¬A@`⊂↓R`TPβR@tPβR`T`↓Q(Bx
¬fB8	K0_-↓ _-k⊂ ,@k⊂_,↓_,jp +@jp_+↓
`_+jP *@jP_*↓
@_*j0 )@j0_)↓
 _)j⊂ (@j⊂_(↓
_(ip '@ip_'↓	`_'iP &@iP_&↓	@_&i0 %@i0_%↓	 _%hT ≥↓a10@4XαR@tPβR@tXαS48∧@@4XαR@tPβR@tXαS4("∞`pX⊂¬@ _%A) 8%↓i 8%A)@_#B  _%A) 0%↓i 8%AI@('@Ip⊂'@I`⊂'IP_&@I@⊂%@i@λ"QπR⊂∩CB@⊃∩D$P⊃⊃a⊂⊃∩D$P⊃⊃(D⊃	$B εB
@p)A p((A↓@ (b_'@b _'b@_&@a0∧iP_αB``_&`P(α↓`_&`@(β@`P_%@`@(∧@`P_%@`00∧A@ _%@`0(¬A  _%`@(¬A 0_%`0(ε↓ 0_%`0(ε↓ 0_%`0(ε↓ 0_%`0(ε↓ 0_%`0(ε↓ 0_%`0(ε↓ 0_%`0(ε↓ 0_%`@(¬A 0_%@`0(¬A 0_%@`00∧A@0_%@`@(∧A@0⊂&`@(βA` _&`P(α↓⊂ ↓iP_αB`08&@a0βA	`_'@j_
↓*⊂ λ↓*0 ¬↓jAλ+BHT -AaS ∪@tPβR@tP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@tPβR@t("↔ p@~	`8%↓i 8'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i 8%↓i 8"Q@¬D∧@(S@4h↓∪4`↓∩`$X↓∩@$P↓∩@$P↓ 4PβRA∧XβR`t`αS 4("∧A!∧I⊂_%↓) 0%↓i00&↓I`('A* (@(T 	BB@H∩↓@4xαS@dhβS d`β∩`TPαR@D`Q(A π¬bλ@A⊂%↓` %↓@ 0&αIP@'A
⊂"QαQ
B$@↓β$P↓β$P↓β$X↓α@$X↓α@$`↓α$`↓A@4h¬∪A¬α⊃(A0	¬@!p∧I!⊂%∧HT Bc⊂@∩@`TX∧R@0(↓R@0(↓R@0(↓R@0(↓R@0(↓Ra∀hαQ(0β∂x␈␈␈p`αOx␈␈}←x␈␈␈` αS@Tp∧∀@U_αT`U_αT dPε∩A∀("λ↓`pαE↓0⊂(AiPX%β	 @%@HT /βB@@∩↓@$xα∪@dh∧∪@⊂α∩`@ α∩@@0α∩@0@↓R`⊂PQ(Ex∧α`b_↓↓	00%α	 @%α	00&↓λT >Dα`H∩`00↓SP αSP αSP αR`P αR`@(α∩`@(α∩@@(α∩@@(α∪⊂@Q(Gp	¬@B⊂↓A@pλ&∧	1%∧	0λβAHT ?DαP0⊃@@00↓R`P αR@p⊂βR@p⊂βR@p⊂βR`P αS00↓Q(@X⊃λDB εBP0*β⊂P)↓@P8↓A*⊂(β↓`00(↓ p8↓AIp0βA@@0'A!0αA	p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)!h%π)!h'A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂(%C0h%C0h%C0h"Q↓A`∞	∧@h∧∃↓E⊂β↓@5λαA`UαA`dxβ↓`dxαBdxαBdxαB DxαS`TxαS`TxαRC∧P∩C∧xαBdxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TxαB TXεaDXεaDXεaD("β#A`∩	↓P8↓J@p)↓@P((A `0(↓ p0'A@p0'A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂('A!⊂(%ε	!@%ε	p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)p(∧A)0`↓C	0`↓C	0`↓CλT π
E" ∩β!0∧∃↓@⊂ε∀@`0∧↓@5λαA`p8αTP8βA`dxβ↓`p8β∪`P@βαdxαB`@β∪`PHαB DxαB TxαB TxαB TxαB TxαB TP∪∩DdP∪∪`PHαBdxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TxαB PHαS`PHαB TXεa0_ε∩a@_¬@aDXεa0_ε⊃(@x∃
DB εB`8↓J@`↓βJ 0αB P((A `@β↓J(βA`p0'A@p8βAIp(∧↓A⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)"0%	I"0'A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)p(∧A!⊂('A!⊂(∧A)0`↓B`0`%C0X↓C	0`↓B`0`"Q∧!_
D∧@⊂↓B4XαA@TPβAtPβAtP∧a∧XβAt`↓@  (↓@ %↓α %↓α %↓α $x↓α $x↓α $p↓α $h↓B4h↓α $X↓B4`B@∀("!Pp↓C h%β) h%β(T .∧c↓∩↓ ⊂PS@0@↓S  H↓∪0@↓S H↓∩` H↓∩` H↓∩@ H↓∩@ H↓∩@ H↓∩@ λ↓A  λ↓R@p βRA_∧∩`p βR`p βSP0αS 0@↓Q(GX
ε@⊂pεI!P"Q∂C ~!`~∩FD(wCLfx7≥fλ6Z-GH⊂⊂iU⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞P∨
oP∧XxX∂⊂αTπ0αTπ?x␈␈␈@ε←x␈␈}0∧␈0λ P@@>`λ⊗↓U(,↓H2=@"Hβ∞≤Pβ≡({dP¬G∞0εRo0αλ`PU+ 
F}`(∀↓@↓↓XB=@b0αqcXβA({↓e⊂ε≤9 π⊃O0∧	@XG∞`∞?>`H∀@↓Gλe↓hL=A"0αqcXβcX{αcp∧U+k/0επ@@qd→}>`h∂↓∞_Hβ @=Ab`β*U@εQ_{βe@εU+
;o0λβ` 8r∩a≡aλλN_Hα(\⎇B!Xα⊂ε≥{∧c0∧ =?0
ε`@@→↓↑a(
@↓↓β⊂⊂⎇BaXα⊂ε$P{¬eε J␈0ε8∞≤`→≡↑aH
@↓↓@α0ε=C"0αqcX∧jX{εe⊂ε≤9 	d∂0∞ε`@@∪h>ah_↓gλeα@→=Cc0∧π∞0¬⊂λ{πe⊂ε≤9 
;O0⊂β` 8r→*≡bλπ@GλdαP[⎇D!Xα⊂εk({λe@εU+
i←0∩ε`@@⊃W↑b(⊗↓U(,α`α=DbHβ∞≤P∧AH{	apα≤9 ?0∀¬ 0≤9 ⊗K↑bH
@c@r@αhO⎇E!Xα⊂¬a{
e⊂ε≤9 M←0⊗β` 8r↔.↑bh	U(+β8α=E`x↓∞≤@¬n({c0∧ ←/0_ε`@@∂9↑cλ
@↓↓↓x:⎇F!Xα⊂β| {c0∧ λ¬←0~ε`@@⊂'≡c(
@↓↓αλβ⎇FaXα⊂∧↔0{
c0∧ λ??0≤ε`@@⊃∃↑cH
@↓↓α⊂k⎇G x↓∞≤@¬vX{∞apα≤9r∂0≡β` 8r∃@↑ch∀@↓Gλeαxd⎇GaH↓qcX∧RX{∂c⊂βcG0	~/0 
 `8r@↔w↑dλ∀↓@↓⊃⎇H"0αjU@
⊂{⊂d`¬cG0%∨0"
 `≤9@l≡d(∩↓._H⊂≥⎇Hb_αN≤P,p{⊃e ε#G0i∨0$
`@↓w≡dH	@\8∞@ 6⎇I!Xαπ∞(K`{∩e⊂ε≤9 ↓#␈0&λ P@αm↑dh_@↓jPV@0∞⎇Ib@β⊂qp{∪e⊂ε≤9 ↓{∨0(	Pqd∧≤≡eλ∀@↓Gλe@n⎇J"8αxqp↓→p{∀c`∧8rαF←0*	@XG∞`¬.≡e(∀↓@↓X↔⎇Jb@β⊂↓< {∃fpλ≤9 β	?0,
`@εL≡eH∀↓@↓hZ⎇K"α8qp↓b@{⊗apα≤9_?0.ε`@@≠D}ehπ@Gλdβλ~=KaXα⊂ε+X{↔apα≤9[o00β` 8r_i>fλ
@↓↓pQ⎇L!pα≤9↓p@{_cβG∞0βq∨02π@@qdπt≡f(q`9@↓'⎇La↓≤9α	p{→c0∧ ∧∨∨04π@@qdλ←≡fHπ@Gλd↓λ␈⎇M!↓≤9α$ {~c@∧≤9 ∧T␈06β` 8r	H≡VhPβ*U@α7λ{≠C`∧8r¬↓/07F`@@
≤>g∂↓∞_H↓ f=N⊃`α∞≤@αT_{≤BPβ⊃λ`¬7/09E 0'i@
␈>g 
@c@r@↓0%=NQpα≤9αj_{≥C@∧≤9 ¬a∂0;I@XG∞`W>g@∞↓πλe↓8s=O⊃`α∞≤PββH{≡CβG∞0ε∃O0=F`@@≠X↑g`~@α↓@β86⎇OQXα⊂ε/_{∨C0∧ d/0?F`@@→M␈⊂
v(_ow{⎇x